O ativismo judicial e constrangimentos a posteriori

O F E E

Within the framework of equilibrium statistical mechanics the free energy of a phase gives a measure of its associated probabilistic weight. In order to determine phase boundaries one must then determine the conditions under which the free energy difference (FED) between two phases is zero. The underlying complexity usually rules out any analytical approaches to the problem, and one must theref...

Deciding the E+ - class by an a posteriori, liftable order

We show that the E +-class can be decided by a liftable order, when it is applied a posteriori. This is a surprising result, because the E +-class was one of the motivations for the study of non-liftable orders. Also surprising is the behaviour of the resolution process. Initially the variable depth of the clauses may grow, but it will not grow deeper than a certain bound. We do not make use of...

T H E T R a N S a C T I O N S R O L E O F M O N E Y *

e x p e r i m e n t a l a n d a n a l y t i c a l s t u d y o f t h e c y c l i c p e r f o r-m a n c e o f s p e c i a l c o n c e n t r i c b r a c e d f r a m e s

t h e s p e c i a l c o n c e n t r i c a l l y b r a c e d f r a m e (s c b f) i s a c o m m o n t y p e o f s t e e l s t r u c t u r a l s y s t e m f o r r e s i s t i n g l a t e r a l l o a d i n g. t h i s t y p e o f s y s t e m p r o v i d e s t h e r e q u i r e d s t i f f n e s s a n d s t r e n g t h a t r e l a t i v e l y l o w c o s t. d e s i g n c o d e s, b a s e d o n p a s ...

I E E E E C O M M U N I C a T I O N S

raditionally, the function of a network has been to deliver packets from one endpoint to another. There was a distinct boundary between what is done within the network and what is done by the users. Processing within the network was limited basically to routing, congestion control and quality of service (QoS) schemes. This kind of a network can be regarded as “passive”. Several problems with “p...